Peano axioms - PDFSEARCH.IO - Document Search Engine

Peano axioms
Results: 66

#	Item
51	Frege’s Unofficial Arithmetic January 14, 2002 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2005-07-22 19:59:03 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Second-order arithmetic Function Peano axioms First-order logic Mathematical logic Mathematics Logic
52	includestamp 1 Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2001-07-03 18:48:39 Formal systems Z notation Principia Mathematica Science Gottlob Frege Peano axioms Function Axiomatic system Axiom Mathematics Logic Mathematical logic
53	D:h800tsmelo-Fraenkelmelo-FraenkelSetTheory.wpd Add to Reading List Source URL: math.sfsu.edu Language: English - Date: 2008-04-27 17:44:03 Z notation Axioms of set theory Set theory Predicate logic Urelements Zermelo–Fraenkel set theory S Constructible universe Peano axioms Mathematical logic Mathematics Logic
54	Feferman on the Indefiniteness of CH Peter Koellner Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-10-06 07:47:45 Continuum hypothesis Forcing Infinity Zermelo–Fraenkel set theory Solomon Feferman Peano axioms Large cardinal Axiom Conjecture Mathematical logic Mathematics Logic
55	Notre Dame Journal of Formal Logic Volume 46, Number 1, 2005 Add to Reading List Source URL: kleene.ss.uci.edu Language: English - Date: 2005-02-01 20:35:14 Z notation Quantification Functions and mappings Peano axioms Logicism S Zermelo–Fraenkel set theory Function Constructible universe Mathematical logic Mathematics Logic
56	Constructive Set Theories and their Category-theoretic Models Alex Simpson∗ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-03 11:00:11 Model theory Constructive set theory Intuitionism Mathematical constructivism Constructivism Peano axioms First-order logic Function Interpretation Mathematical logic Mathematics Logic
57	PDF Document Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-01-14 17:15:00 Proof theory Model theory Computability theory Predicate logic First-order logic Peano axioms Arithmetical hierarchy Constructible universe Bounded quantifier Mathematical logic Logic Mathematics
58	PDF Document Add to Reading List Source URL: www.peter-dixon.staff.shef.ac.uk Language: English - Date: 2006-05-18 13:01:02 Set theory Constructible universe Ordinal arithmetic Transfinite induction Zermelo–Fraenkel set theory Cardinal number Function Peano axioms Symbol Mathematical logic Mathematics Ordinal numbers
59	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
60	PDF Document Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2009-03-07 14:19:19 Proof theory Ordinal numbers Constructible universe Peano axioms Ordinal analysis Function Bounded quantifier New Foundations Surreal number Mathematical logic Mathematics Logic

UPDATE